Nuprl Definition : link 0,22

link(e) == ecase1(e;info;i.;l,e'.l
latex



clarification:

link(info;e) == ecase1(e;info;i.;l,e'.l
latex


Definitions, ecase1(e;info;i.f(i);l,e'.g(l;e'))
FDL editor aliaseslink

origin